and Models of Computer Programming

Results: 208



#Item
141Logic / Automated theorem proving / Theoretical computer science / Mathematical logic / Statistical models / Markov logic network / Algorithm / Logic programming / Resolution / Bayesian statistics / Statistics / Mathematics

Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo

Add to Reading List

Source URL: www.di.uniba.it

Language: English - Date: 2008-10-06 05:35:01
142Virtual reality / Object-oriented programming / Nikola Tesla / Technology / Operations research / Simulation / Aircraft flight control system / Computer simulation / Modelica / Electromagnetism / Science / Actuators

E-Bird Development of numerical models of aircraft systems to be used within the JIT/GRA Shared Simulation Environment State of the art – Background Today, the vast majority of aircrafts use mechanical and hydro-mechan

Add to Reading List

Source URL: www.cleansky.eu

Language: English - Date: 2014-12-12 04:55:00
143Electronic engineering / Models of computation / Computer data / Dataflow / SIGNAL / Digital signal processing / Embedded system / Programming paradigm / Model-based design / Computing / Computer architecture / Software engineering

Modeling and Implementation of Dynamic Data-Driven Application Systems by Kishan Sudusinghe

Add to Reading List

Source URL: www.marshallplan.at

Language: English - Date: 2014-09-30 21:11:12
144Object-oriented programming / Unified Modeling Language / 3D computer graphics / Object composition / Constellation model / Dirichlet process / Rendering / Ada / Computer vision / Software engineering / Computing / Computer programming

Nonparametric Bayesian Models for Unsupervised Scene Analysis and Reconstruction Dominik Joho, Gian Diego Tipaldi, Nikolas Engelhard, Cyrill Stachniss, Wolfram Burgard Department of Computer Science, University of Freibu

Add to Reading List

Source URL: www.first-mm.eu

Language: English - Date: 2012-08-20 05:33:12
145Object-oriented programming / Unified Modeling Language / 3D computer graphics / Object composition / Constellation model / Dirichlet process / Rendering / Ada / Computer vision / Software engineering / Computing / Computer programming

Nonparametric Bayesian Models for Unsupervised Scene Analysis and Reconstruction Dominik Joho, Gian Diego Tipaldi, Nikolas Engelhard, Cyrill Stachniss, Wolfram Burgard Department of Computer Science, University of Freibu

Add to Reading List

Source URL: first-mm.informatik.uni-freiburg.de

Language: English - Date: 2012-08-20 05:33:12
146Non-classical logic / Statistical models / Logic programming / Theoretical computer science / Probabilistic logic / Prolog / Statistical relational learning / Algorithm / Programming language / Science / Mathematics / Logic

Arenberg Doctoral School of Science, Engineering & Technology Faculty of Engineering Department of Computer Science On Continuous Distributions and Parameter Estimation in Probabilistic Logic Programs

Add to Reading List

Source URL: www.first-mm.eu

Language: English - Date: 2012-07-18 12:20:07
147Non-classical logic / Statistical models / Logic programming / Theoretical computer science / Probabilistic logic / Prolog / Statistical relational learning / Algorithm / Programming language / Science / Mathematics / Logic

Arenberg Doctoral School of Science, Engineering & Technology Faculty of Engineering Department of Computer Science On Continuous Distributions and Parameter Estimation in Probabilistic Logic Programs

Add to Reading List

Source URL: first-mm.informatik.uni-freiburg.de

Language: English - Date: 2012-07-18 12:20:07
148Models of computation / Denotational semantics / Logic in computer science / Reykjavík University / Aalborg University / International Colloquium on Automata /  Languages and Programming / Logic programming / Iceland / Theoretical computer science / Europe / Computer science

Curriculum Vitae Anna Ingólfsdóttir Reykjavik University School of Science and Engineering Department of Computer Science

Add to Reading List

Source URL: www.ru.is

Language: English - Date: 2007-02-18 17:09:32
149Software engineering / Computer data / Dataflow / SIGNAL / Electronic engineering / Wireless sensor network / Dataflow programming / Stream processing / Computing / Computer architecture / Models of computation

Model Based Design Environment for Data-Driven Embedded Signal Processing Systems DDDAS Workshop 2014 International Conference on Computational Science Kishan Sudusinghe, Inkeun Cho, Mihaela van der Schaar, and Shuvra S.

Add to Reading List

Source URL: www.dddas.org

Language: English - Date: 2014-06-09 20:52:24
150Computer architecture / Models of computation / Programming paradigms / Computer data / Dataflow / Parallel computing / Oz / Stream processing / SIGNAL / Computing / Software engineering / Computer programming

Procedia Computer Science Volume 29, 2014, Pages 1289–1298 ICCS[removed]14th International Conference on Computational Science A Dataflow Programming Language and Its Compiler for Streaming Systems

Add to Reading List

Source URL: www.dddas.org

Language: English - Date: 2014-05-07 11:40:04
UPDATE